For a particular table,
SELECT pg_size_pretty( pg_total_relation_size('tablename') );
/** @format */ | |
import { Map, TileLayer, Marker, Popup } from "react-leaflet"; | |
import React, { useEffect, useState, useRef } from "react"; | |
import { geosearch } from "esri-leaflet-geocoder"; | |
import "leaflet/dist/leaflet.css"; | |
import "esri-leaflet-geocoder/dist/esri-leaflet-geocoder.css"; | |
import L from "leaflet"; | |
function MapView(props) { |
name: Security audit | |
on: | |
schedule: | |
- cron: '0 0 * * *' | |
push: | |
paths: | |
- '**/Cargo.toml' | |
- '**/Cargo.lock' | |
jobs: | |
security_audit: |
<?php | |
class Node | |
{ | |
public $value; | |
public $next; | |
public function __construct($value) | |
{ | |
$this->value = $value; |
export const helpHttp = () => { | |
const customFetch = (endpoint, options) => { | |
const defaultHeader = { | |
accept: "application/json", | |
}; | |
const controller = new AbortController(); | |
options.signal = controller.signal; | |
options.method = options.method || "GET"; |
base_model: mistral-community/Mixtral-8x22B-v0.1 | |
model_type: MixtralForCausalLM | |
tokenizer_type: AutoTokenizer | |
is_mistral_derived_model: false | |
trust_remote_code: true | |
load_in_8bit: false | |
load_in_4bit: true | |
strict: false |
#!/bin/bash | |
# Inspired on https://david-kerwick.github.io/2017-01-04-combining-zsh-history-files/ | |
set -e | |
history1=$1 | |
history2=$2 | |
merged=$3 | |
echo "Merging history files: $history1 + $history2" | |
test ! -f $history1 && echo "File $history1 not found" && exit 1 |
#!/usr/bin/env python | |
# -*- coding: utf-8 -*- | |
# | |
# This is how I used it: | |
# $ cat ~/.bash_history | python bash-to-zsh-hist.py >> ~/.zsh_history | |
import sys | |
import time | |
def humanize secs | |
[[60, :seconds], [60, :minutes], [24, :hours], [1000, :days]].inject([]){ |s, (count, name)| | |
if secs > 0 | |
secs, n = secs.divmod(count) | |
s.unshift "#{n.to_i} #{name}" | |
end | |
s | |
}.join(' ') | |
end |